<?php
$menu = array(^);
?>